- 双语例句 更多例句
由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点,被越来越广泛应用于工作流过程建模和流程优化。
互联网摘选
对EXPRESS建模语言的核心功能作了概述,并给出了EXPRESS数据模型的一个形式化语义描述。
互联网摘选
本文在研究OWL本体进行知识表示的机制后,阐述形式化表示及语义说明方法,并结合实例说明知识的表示。
互联网摘选
然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用。
互联网摘选
- 相关词组
- semantic structure语义结构;
- systematic description系统著录
- give a description of描述
- formal dressn.礼服;大礼服;
- formal flower bed整形花坛
- semantic preference语义选择
- semantic routine number[计] 语义程序编号;
- formal agreement正式协议;
- misleading description误导的陈述
- education with record of formal schooling学历教育
- notarization of the record of formal schooling学历公证
- physical description notes外形著录附注
- Project description项目描述
- sociometric description社会计量描述
- technical description技术说明书
- product description产品阐述,产品说明;
- semantic theory语义理论;
- formal contract正式合同;正式契约;要式合同
- table description表式说明
- semantic stack[计] 语义栈;
- 今日热词
- 热门搜索
- CCS abbr.Combined Chiefs of Staff (美国国防部)参谋长联席会议;
- group n.组,团体,集团;群,批;(雕塑等的)群像;(英美的)空军大队;v.使成群,集合;分类,归类;
- lao n.老挝人,老挝语;adj.老挝人的;
- composition n.组成;作品;作文;艺术创作技巧;作曲;构图;
- refuse v.拒绝;回绝;n.垃圾,废弃物;
- love story n.爱情故事,恋爱小说;艳史;
- recognition n.认识,识别;承认;赞赏;
- word n.单词;字;信息;话语;言语;歌词;诺言;消息;命令;短时间的谈话;v.措词,用词;
- nutrition n. 营养,滋养;营养品;营养学;食物;
- political adj.政治的;政党的;对政治感兴趣的;争权夺利的;
- answer ball 回应球(篮球比赛中,一方队员投中一球后,另一方马上以相同的方式回敬对方一球)
- library n. 图书馆;藏书楼;图书室;资料室;(书、激光唱片等的)个人收藏;系列丛书(或磁带等)程序库;函式库;程式库;软件库;

湘公网安备43011202000971号